#include <stdio.h>
#include <gmp.h>
int main()
{
	mpz_t result;
	mpz_init_set_ui(result, 1);
	for (int i = 1; i <= 1000; i++)
	{
		mpz_mul_ui(result, result, i);
	}
	gmp_printf("%Zd\n", result);
	mpz_clear(result);
	return 0;
}
